1 $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($r$.2.2.2.2.2.2.2).1